Logische Programmierung (Prädikative Programmierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von Axiomen, welche hier als eine reine Ansammlung von Fakten oder Annahmen zu verstehen...
Gefunden auf
https://de.wikipedia.org/wiki/Logische_Programmierung
Logische Programmierung Damit bezeichnet man Programmiermethoden, die Prädikatenkalküle verwenden, um Programme zu strukturieren und durchzuführen. Eine Programmiersprache, die dieses Konzept voll unterstützt, ist PROLOG.
Gefunden auf
https://www.enzyklo.de/Lokal/40006
Keine exakte Übereinkunft gefunden.
